[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 133 117 249 1407 0 198 2500

N.S.

1 1.00 0.82 0.72 1.54 8.69 0.00 1.22 15.43

time (sec)

N/A 0.114 0.136 0.218 0.527 1.402 0.000 0.635 1.034

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 86 113 228 296 507 178 522

N.S.

1 1.00 0.80 1.06 2.13 2.77 4.74 1.66 4.88

time (sec)

N/A 0.075 0.061 0.135 0.300 1.129 2.488 0.544 0.313

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 137 117 249 1387 0 196 2500

N.S.

1 1.00 0.93 0.80 1.69 9.44 0.00 1.33 17.01

time (sec)

N/A 0.093 0.131 0.234 0.559 2.138 0.000 0.546 0.944

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 77 106 215 253 410 163 378

N.S.

1 1.00 0.84 1.15 2.34 2.75 4.46 1.77 4.11

time (sec)

N/A 0.055 0.051 0.128 0.326 0.982 1.963 0.511 0.158

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 136 133 294 1681 0 232 2500

N.S.

1 1.00 0.81 0.80 1.76 10.07 0.00 1.39 14.97

time (sec)

N/A 0.136 0.231 0.001 0.531 2.038 0.000 0.596 1.158

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 133 136 295 540 0 321 193

N.S.

1 1.00 0.94 0.96 2.09 3.83 0.00 2.28 1.37

time (sec)

N/A 0.120 0.164 0.172 0.318 5.661 0.000 0.587 0.784

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 158 141 378 2113 0 321 2500

N.S.

1 1.00 0.72 0.65 1.73 9.69 0.00 1.47 11.47

time (sec)

N/A 0.207 0.217 0.216 0.546 2.972 0.000 1.026 0.971

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 157 157 381 667 0 333 313

N.S.

1 1.00 1.01 1.01 2.44 4.28 0.00 2.13 2.01

time (sec)

N/A 0.146 0.142 0.187 0.313 9.474 0.000 0.717 0.900

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

271 271 178 159 460 2457 0 275 2500

N.S.

1 1.00 0.66 0.59 1.70 9.07 0.00 1.01 9.23

time (sec)

N/A 0.301 0.285 0.213 0.550 7.992 0.000 0.810 1.189

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

207 207 166 177 443 2859 0 301 2500

N.S.

1 1.00 0.80 0.86 2.14 13.81 0.00 1.45 12.08

time (sec)

N/A 0.187 0.249 0.236 0.584 2.840 0.000 0.840 1.586

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 121 163 415 598 784 267 926

N.S.

1 1.00 0.85 1.15 2.92 4.21 5.52 1.88 6.52

time (sec)

N/A 0.107 0.082 0.159 0.313 1.601 28.871 0.898 0.396

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 171 182 473 2891 0 317 2500

N.S.

1 1.00 0.86 0.91 2.36 14.46 0.00 1.58 12.50

time (sec)

N/A 0.175 0.286 0.251 0.564 3.689 0.000 0.650 1.553

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 107 144 394 507 643 229 707

N.S.

1 1.00 0.85 1.14 3.13 4.02 5.10 1.82 5.61

time (sec)

N/A 0.080 0.095 0.148 0.322 1.031 110.917 0.648 0.328

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 197 198 529 3239 0 332 2500

N.S.

1 1.00 0.86 0.86 2.30 14.08 0.00 1.44 10.87

time (sec)

N/A 0.214 0.289 0.076 0.564 4.746 0.000 0.725 1.708

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 187 202 527 1058 0 470 472

N.S.

1 1.00 0.97 1.05 2.74 5.51 0.00 2.45 2.46

time (sec)

N/A 0.166 0.203 0.223 0.349 12.126 0.000 0.657 1.106

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

297 297 210 202 639 3753 0 430 2500

N.S.

1 1.00 0.71 0.68 2.15 12.64 0.00 1.45 8.42

time (sec)

N/A 0.346 0.317 0.232 0.540 7.409 0.000 0.884 1.554

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 208 223 651 1227 0 638 549

N.S.

1 1.00 0.97 1.04 3.03 5.71 0.00 2.97 2.55

time (sec)

N/A 0.205 0.224 0.230 0.331 25.420 0.000 0.792 1.315

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

377 377 230 222 738 4225 0 367 1161

N.S.

1 1.00 0.61 0.59 1.96 11.21 0.00 0.97 3.08

time (sec)

N/A 0.462 0.321 0.224 0.555 15.128 0.000 0.720 1.231

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 89 473 129 379 2069 593 289

N.S.

1 1.00 0.93 4.93 1.34 3.95 21.55 6.18 3.01

time (sec)

N/A 0.044 0.131 0.073 0.275 1.003 0.610 0.575 0.274

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 66 82 91 215 1044 332 177

N.S.

1 1.00 0.93 1.15 1.28 3.03 14.70 4.68 2.49

time (sec)

N/A 0.031 0.073 0.076 0.288 1.184 0.405 0.679 0.185

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 42 53 53 92 410 143 95

N.S.

1 1.00 0.93 1.18 1.18 2.04 9.11 3.18 2.11

time (sec)

N/A 0.015 0.050 0.020 0.325 0.976 0.253 0.657 0.156

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 55 0 0 0 190 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 2.88 0.00 -0.02

time (sec)

N/A 0.023 0.079 0.022 0.000 0.000 1.969 0.000 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 80 0 0 0 906 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 9.74 0.00 -0.01

time (sec)

N/A 0.030 0.102 0.027 0.000 0.000 15.327 0.000 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 80 0 0 0 3053 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 32.83 0.00 -0.01

time (sec)

N/A 0.030 0.111 0.042 0.000 0.000 52.137 0.000 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 141 975 215 773 4345 1192 443

N.S.

1 1.00 0.93 6.46 1.42 5.12 28.77 7.89 2.93

time (sec)

N/A 0.061 0.178 0.089 0.278 0.908 0.906 0.613 0.349

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 101 568 153 442 2363 703 302

N.S.

1 1.00 0.93 5.21 1.40 4.06 21.68 6.45 2.77

time (sec)

N/A 0.045 0.114 0.081 0.273 1.156 0.613 0.630 0.249

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 66 82 91 215 1044 332 177

N.S.

1 1.00 0.93 1.15 1.28 3.03 14.70 4.68 2.49

time (sec)

N/A 0.029 0.080 0.073 0.282 1.286 0.405 0.525 0.194

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 118 0 0 0 299 0 -1

N.S.

1 1.00 1.26 0.00 0.00 0.00 3.18 0.00 -0.01

time (sec)

N/A 0.045 0.131 0.036 0.000 0.000 3.001 0.000 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 98 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.075 0.187 0.036 0.000 0.000 0.000 0.000 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 166 124 0 0 0 0 0 -1

N.S.

1 0.97 0.73 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.110 0.400 0.054 0.000 0.000 0.000 0.000 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 114 0 0 0 411 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 3.09 0.00 -0.01

time (sec)

N/A 0.059 1.193 0.042 0.000 0.000 4.819 0.000 0.000

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 85 0 0 0 299 0 -1

N.S.

1 1.00 0.90 0.00 0.00 0.00 3.18 0.00 -0.01

time (sec)

N/A 0.041 0.365 0.033 0.000 0.000 3.129 0.000 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 55 0 0 0 190 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 2.88 0.00 -0.02

time (sec)

N/A 0.021 0.071 0.023 0.000 0.000 2.085 0.000 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 85 0 0 0 354 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 3.47 0.00 -0.01

time (sec)

N/A 0.033 0.087 0.047 0.000 0.000 3.554 0.000 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 127 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.136 0.169 0.060 0.000 0.000 0.000 0.000 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 170 0 0 0 0 0 -1

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.260 0.514 0.024 0.000 0.000 0.000 0.000 0.000

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

201 201 2524 0 0 0 0 0 -1

N.S.

1 1.00 12.56 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.152 3.721 0.046 0.000 0.000 0.000 0.000 0.000

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

120 120 895 0 0 0 0 0 -1

N.S.

1 1.00 7.46 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.076 1.567 0.040 0.000 0.000 0.000 0.000 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 80 0 0 0 906 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 9.74 0.00 -0.01

time (sec)

N/A 0.028 0.105 0.032 0.000 0.000 14.983 0.000 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 127 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.117 0.057 0.000 0.000 0.000 0.000 0.000 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 173 0 0 0 0 0 -1

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.271 0.407 0.023 0.000 0.000 0.000 0.000 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

325 325 215 0 0 0 0 0 -1

N.S.

1 1.00 0.66 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.448 0.755 0.024 0.000 0.000 0.000 0.000 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 41 28 27 32 46 29 31

N.S.

1 1.00 1.05 0.72 0.69 0.82 1.18 0.74 0.79

time (sec)

N/A 0.011 0.024 0.087 0.316 1.120 0.737 1.434 0.109

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 35 28 27 32 46 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 1.18 0.74 0.79

time (sec)

N/A 0.011 0.023 0.085 0.311 1.288 0.477 0.752 0.121

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 35 28 27 32 46 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 1.18 0.74 0.79

time (sec)

N/A 0.012 0.022 0.088 0.323 0.969 0.300 0.841 0.023

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 35 28 27 30 37 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.77 0.95 0.74 0.79

time (sec)

N/A 0.011 0.022 0.086 0.286 1.329 0.937 0.777 0.022

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 35 28 27 29 44 29 31

N.S.

1 1.00 0.95 0.76 0.73 0.78 1.19 0.78 0.84

time (sec)

N/A 0.011 0.024 0.077 0.284 0.839 0.143 1.198 0.104

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 35 30 27 29 44 29 31

N.S.

1 1.00 0.95 0.81 0.73 0.78 1.19 0.78 0.84

time (sec)

N/A 0.011 0.028 0.043 0.295 0.926 0.240 1.360 0.103

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 35 30 27 29 42 29 31

N.S.

1 1.00 0.95 0.81 0.73 0.78 1.14 0.78 0.84

time (sec)

N/A 0.011 0.029 0.048 0.296 0.981 0.280 1.893 0.022

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 35 28 29 29 42 31 31

N.S.

1 1.00 0.95 0.76 0.78 0.78 1.14 0.84 0.84

time (sec)

N/A 0.011 0.034 0.046 0.317 1.257 0.349 1.744 0.021

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 60 52 51 56 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.021 0.040 0.099 0.309 1.042 1.269 0.982 0.113

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 60 52 51 56 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.021 0.039 0.098 0.322 0.756 0.787 1.163 0.025

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 60 52 51 56 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.022 0.036 0.098 0.301 1.053 0.516 0.858 0.025

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 59 52 51 54 66 53 51

N.S.

1 1.00 0.94 0.83 0.81 0.86 1.05 0.84 0.81

time (sec)

N/A 0.020 0.039 0.092 0.285 0.690 1.357 0.965 0.027

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 59 52 51 53 78 53 51

N.S.

1 1.00 0.97 0.85 0.84 0.87 1.28 0.87 0.84

time (sec)

N/A 0.021 0.036 0.096 0.286 0.669 0.304 1.200 0.025

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 59 54 51 53 78 53 51

N.S.

1 1.00 0.97 0.89 0.84 0.87 1.28 0.87 0.84

time (sec)

N/A 0.020 0.049 0.076 0.275 0.870 0.394 0.859 0.026

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 59 54 51 53 76 53 51

N.S.

1 1.00 0.97 0.89 0.84 0.87 1.25 0.87 0.84

time (sec)

N/A 0.023 0.047 0.078 0.281 0.924 0.459 0.820 0.027

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 59 51 53 53 76 55 55

N.S.

1 1.00 0.97 0.84 0.87 0.87 1.25 0.90 0.90

time (sec)

N/A 0.021 0.045 0.077 0.282 1.066 0.600 0.872 0.119

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 81 76 73 78 114 77 69

N.S.

1 1.00 0.95 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.029 0.049 0.102 0.296 1.020 1.790 0.709 0.021

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 81 76 73 78 114 77 69

N.S.

1 1.00 0.95 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.029 0.046 0.111 0.290 0.880 1.202 0.771 0.017

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 81 76 73 78 114 77 69

N.S.

1 1.00 0.95 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.030 0.044 0.109 0.290 0.838 0.753 0.625 0.017

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 81 76 73 76 95 77 69

N.S.

1 1.00 0.95 0.89 0.86 0.89 1.12 0.91 0.81

time (sec)

N/A 0.029 0.044 0.101 0.286 1.431 1.558 0.570 0.017

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 80 76 73 75 112 77 69

N.S.

1 1.00 0.96 0.92 0.88 0.90 1.35 0.93 0.83

time (sec)

N/A 0.029 0.045 0.096 0.281 1.700 0.479 0.639 0.017

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 83 78 73 75 110 77 69

N.S.

1 1.00 1.00 0.94 0.88 0.90 1.33 0.93 0.83

time (sec)

N/A 0.029 0.063 0.076 0.285 1.225 0.632 0.733 0.018

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 78 78 73 75 110 77 69

N.S.

1 1.00 0.94 0.94 0.88 0.90 1.33 0.93 0.83

time (sec)

N/A 0.029 0.061 0.083 0.295 1.382 0.701 0.644 0.018

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 78 75 75 75 107 79 72

N.S.

1 1.00 0.96 0.93 0.93 0.93 1.32 0.98 0.89

time (sec)

N/A 0.029 0.056 0.081 0.282 1.056 0.871 0.871 0.031

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

276 276 173 164 259 714 326 298 788

N.S.

1 1.00 0.63 0.59 0.94 2.59 1.18 1.08 2.86

time (sec)

N/A 0.179 0.276 0.089 0.501 1.422 38.642 1.000 0.197

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

257 257 152 142 214 899 348 264 92

N.S.

1 1.00 0.59 0.55 0.83 3.50 1.35 1.03 0.36

time (sec)

N/A 0.151 0.192 0.091 0.511 0.977 18.047 1.001 0.095

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 150 141 235 660 275 263 789

N.S.

1 1.00 0.59 0.55 0.92 2.59 1.08 1.03 3.09

time (sec)

N/A 0.143 0.185 0.086 0.524 1.239 5.159 1.068 0.208

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 135 124 194 834 303 251 71

N.S.

1 1.00 0.57 0.52 0.82 3.52 1.28 1.06 0.30

time (sec)

N/A 0.125 0.169 0.081 0.528 2.908 2.253 1.166 0.081

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 235 134 127 218 645 238 251 739

N.S.

1 1.00 0.57 0.54 0.93 2.74 1.01 1.07 3.14

time (sec)

N/A 0.126 0.161 0.084 0.503 1.144 1.872 1.336 0.123

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 235 135 127 194 843 150 251 71

N.S.

1 1.00 0.57 0.54 0.83 3.59 0.64 1.07 0.30

time (sec)

N/A 0.129 0.191 0.095 0.532 0.856 7.054 0.712 0.082

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 136 124 218 653 257 251 811

N.S.

1 1.00 0.57 0.52 0.92 2.76 1.08 1.06 3.42

time (sec)

N/A 0.127 0.191 0.088 0.509 2.509 9.189 0.843 0.211

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 152 140 213 883 258 268 90

N.S.

1 1.00 0.60 0.55 0.84 3.46 1.01 1.05 0.35

time (sec)

N/A 0.144 0.229 0.085 0.500 1.537 41.177 0.685 0.180

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

310 310 183 171 271 748 770 298 823

N.S.

1 1.00 0.59 0.55 0.87 2.41 2.48 0.96 2.65

time (sec)

N/A 0.166 0.583 0.115 0.559 1.003 160.169 0.584 0.202

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

289 289 162 153 223 925 0 283 106

N.S.

1 1.00 0.56 0.53 0.77 3.20 0.00 0.98 0.37

time (sec)

N/A 0.147 0.531 0.101 0.502 0.871 0.000 0.583 0.099

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

284 284 159 152 250 725 760 283 744

N.S.

1 1.00 0.56 0.54 0.88 2.55 2.68 1.00 2.62

time (sec)

N/A 0.146 0.550 0.102 0.519 0.636 30.807 0.557 0.198

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 152 146 217 912 162 273 91

N.S.

1 1.00 0.58 0.56 0.83 3.49 0.62 1.05 0.35

time (sec)

N/A 0.131 0.509 0.081 0.501 0.816 12.727 0.651 0.173

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 151 146 241 717 734 273 750

N.S.

1 1.00 0.58 0.56 0.92 2.75 2.81 1.05 2.87

time (sec)

N/A 0.125 0.461 0.080 0.566 0.862 25.598 0.591 0.233

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

289 289 162 153 222 920 573 278 104

N.S.

1 1.00 0.56 0.53 0.77 3.18 1.98 0.96 0.36

time (sec)

N/A 0.148 0.515 0.111 0.555 1.665 79.383 0.524 0.179

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

289 289 165 153 251 741 855 283 859

N.S.

1 1.00 0.57 0.53 0.87 2.56 2.96 0.98 2.97

time (sec)

N/A 0.150 0.557 0.105 0.527 2.584 118.420 0.543 0.249

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

310 310 186 170 250 974 0 303 121

N.S.

1 1.00 0.60 0.55 0.81 3.14 0.00 0.98 0.39

time (sec)

N/A 0.163 0.545 0.112 0.512 1.439 0.000 0.611 0.096

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

316 316 183 172 283 793 0 304 760

N.S.

1 1.00 0.58 0.54 0.90 2.51 0.00 0.96 2.41

time (sec)

N/A 0.170 0.622 0.122 0.513 0.961 0.000 0.679 0.221

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

293 293 171 166 251 990 0 293 122

N.S.

1 1.00 0.58 0.57 0.86 3.38 0.00 1.00 0.42

time (sec)

N/A 0.154 0.615 0.084 0.505 0.871 0.000 0.685 0.095

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 173 167 280 806 1445 298 799

N.S.

1 1.00 0.58 0.56 0.94 2.70 4.85 1.00 2.68

time (sec)

N/A 0.145 0.604 0.078 0.523 0.703 159.961 0.580 0.261

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 175 168 253 1005 299 298 124

N.S.

1 1.00 0.59 0.56 0.85 3.37 1.00 1.00 0.42

time (sec)

N/A 0.150 0.600 0.081 0.535 0.835 57.485 1.079 0.177

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

293 293 172 166 276 793 1406 293 780

N.S.

1 1.00 0.59 0.57 0.94 2.71 4.80 1.00 2.66

time (sec)

N/A 0.146 0.611 0.091 0.502 0.779 141.892 1.270 0.270

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 186 173 255 988 0 300 133

N.S.

1 1.00 0.58 0.54 0.79 3.07 0.00 0.93 0.41

time (sec)

N/A 0.166 0.635 0.129 0.555 0.733 0.000 1.779 0.102

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 186 173 285 809 0 304 888

N.S.

1 1.00 0.58 0.54 0.89 2.51 0.00 0.94 2.76

time (sec)

N/A 0.173 0.544 0.138 0.506 0.668 0.000 0.907 0.300

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

343 343 207 190 285 1043 0 326 152

N.S.

1 1.00 0.60 0.55 0.83 3.04 0.00 0.95 0.44

time (sec)

N/A 0.187 0.571 0.147 0.494 0.573 0.000 1.295 0.204

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 60 52 51 56 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.021 0.039 0.092 0.294 0.476 1.111 1.484 0.033

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 60 52 51 56 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.022 0.037 0.087 0.290 0.438 0.792 0.944 0.025

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 60 52 51 56 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.022 0.035 0.088 0.293 1.170 0.580 0.968 0.025

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 59 52 51 54 66 53 51

N.S.

1 1.00 0.94 0.83 0.81 0.86 1.05 0.84 0.81

time (sec)

N/A 0.022 0.038 0.088 0.288 0.979 1.350 1.194 0.029

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 59 52 51 53 78 53 51

N.S.

1 1.00 0.97 0.85 0.84 0.87 1.28 0.87 0.84

time (sec)

N/A 0.022 0.035 0.086 0.287 1.099 0.284 1.166 0.025

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 59 54 51 53 78 53 51

N.S.

1 1.00 0.97 0.89 0.84 0.87 1.28 0.87 0.84

time (sec)

N/A 0.021 0.048 0.075 0.289 1.535 0.464 1.217 0.027

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 59 54 51 53 76 53 51

N.S.

1 1.00 0.97 0.89 0.84 0.87 1.25 0.87 0.84

time (sec)

N/A 0.022 0.046 0.080 0.295 1.552 0.539 0.916 0.026

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 59 51 53 53 76 55 55

N.S.

1 1.00 0.97 0.84 0.87 0.87 1.25 0.90 0.90

time (sec)

N/A 0.022 0.046 0.081 0.283 1.354 0.574 0.764 0.028

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 93 90 85 90 136 94 78

N.S.

1 1.00 0.96 0.93 0.88 0.93 1.40 0.97 0.80

time (sec)

N/A 0.035 0.061 0.106 0.319 1.003 1.672 1.052 0.028

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 93 90 85 90 136 94 78

N.S.

1 1.00 0.96 0.93 0.88 0.93 1.40 0.97 0.80

time (sec)

N/A 0.034 0.058 0.100 0.293 0.741 1.202 0.762 0.017

[next] [prev] [prev-tail] [front] [up]